higher category theory

Idea

• the generalization of category theory to a context where there are not only morphisms between objects, but generally k-morphisms between k-1-morphisms, for all \(k \in \mathbb{N}\).